Abdessamad Imine And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 21.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000E28 | Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis |
| 001525 | Houari Mahfoud [France] ; Abdessamad Imine [France] | On Securely Manipulating XML Data |
| 003016 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Manal Najem [Canada] | Symbolic Model-Checking of Optimistic Replication Algorithms |
| 004D04 | Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms |
| 005603 | Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France] | Formal design and verification of operational transformation algorithms for copies convergence |
| 005C17 | Gérald Oster ; Pascal Urso ; Pascal Molli ; Abdessamad Imine | Edition collaborative sur réseau pair-à-pair à large échelle |
| 005D12 | Abdessamad Imine ; Michaël Rusinowitch ; Gérald Oster ; Pascal Molli | Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence |
| 005D28 | Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël Rusinowitch | Towards Synchronizing Linear Collaborative Objects with Operation Transformation |
| 005E48 | Gérald Oster ; Pascal Urso ; Pascal Molli ; Hala Molli-Skaf ; Abdessamad Imine | Optimistic Replication for Massive Collaborative Editing |
| 005E65 | Gérald Oster ; Pascal Urso ; Pascal Molli ; Abdessamad Imine | Real time group editors without Operational transformation |
| 006170 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards Synchronizing Linear Collaborative Objects with Operational Transformation |
| 006741 | Gérald Oster ; Pascal Molli ; Hala Skaf-Molli ; Abdessamad Imine | Un modèle sûr et générique pour la synchronisation de données divergentes |
| 006777 | Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël Rusinowitch | Deductive Verification of Distributed Groupware Systems |
| 006855 | Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël Rusinowitch | Achieving Convergence with Operational Transformation in Distributed Groupware Systems |
| 006C18 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive Verification of Distributed Groupware Systems |
| 006C48 | David Déharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France] | Abstraction-Driven Verification of Array Programs |
| 007605 | Pascal Molli ; Gérald Oster ; Hala Skaf-Molli ; Abdessamad Imine | Using the Transformational Approach to Build a Safe and Generic Data Synchronizer |
| 007648 | Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël Rusinowitch | Proving Correctness of Transformation Functions in Real-Time Groupware |
| 007785 | Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Pascal Urso | VOTE : Group Editors Analyzing Tool |
| 007838 | Pascal Molli ; Gérald Oster ; Hala Skaf-Molli ; Abdessamad Imine | Safe Generic Data Synchronizer |
| 008889 | Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France] | Using automated induction-based theorem provers for reasoning about concurrent systems |
| This area was generated with Dilib version V0.6.33. |  |